Ident. | Authors (with country if any) | Title |
---|
000018 |
Elian Aubry [France] ; Thomas Silverston [Japon] ; Isabelle Chrisment [France] | Croissance Verte dans NDN: Déploiement des Content Stores |
000038 |
Phuc Ngo [France] ; Yukiko Kenmochi [France] ; Akihiro Sugimoto [Japon] ; Hugues Talbot [France] ; Nicolas Passat [France] | Discrete rigid registration: A local graph-search approach |
000045 |
Masahiro Ishii [Japon] ; Jérémie Detrey [France] ; Pierrick Gaudry [France] ; Atsuo Inomata [Japon] ; Kazutoshi Fujikawa [Japon] | Fast Modular Arithmetic on the Kalray MPPA-256 Processor for an Energy-Efficient Implementation of ECM |
000120 |
Makoto Hasegawa [Japon] ; Salvatore Tabbone [France] | Histogram of Radon transform with angle correlation matrix for distortion invariant shape descriptor |
000141 |
Marc F. Lensink [France] ; Sameer Velankar [Royaume-Uni] ; Andriy Kryshtafovych [États-Unis] ; Shen-You Huang [États-Unis] ; Dina Schneidman-Duhovny [États-Unis] ; Andrej Sali [États-Unis] ; Joan Segura [Espagne] ; Narcis Fernandez-Fuentes [Royaume-Uni] ; Shruthi Viswanath [États-Unis] ; Ron Elber [États-Unis] ; Sergei Grudinin [France] ; Petr Popov [France] ; Emilie Neveu [France] ; Hasup Lee [Corée du Sud] ; Minkyung Baek [Corée du Sud] ; Sangwoo Park [Corée du Sud] ; Lim Heo [Corée du Sud] ; Gyu Rie Lee [Corée du Sud] ; Chaok Seok [Corée du Sud] ; Sanbo Qin [États-Unis] ; Huan-Xiang Zhou [États-Unis] ; David W. Ritchie [France] ; Bernard Maigret [France] ; Marie-Dominique Devignes [France] ; Anisah Ghoorah ; Mieczyslaw Torchala [Royaume-Uni] ; Raphaël A G. Chaleil [Royaume-Uni] ; Paul A. Bates [Royaume-Uni] ; Efrat Ben-Zeev [Israël] ; Miriam Eisenstein [Israël] ; Surendra S. Negi [États-Unis] ; Zhiping Weng [États-Unis] ; Thom Vreven [États-Unis] ; Brian G. Pierce [États-Unis] ; Tyler M. Borrman [États-Unis] ; Jinchao Yu [États-Unis] ; Françoise Ochsenbein [États-Unis] ; Raphaël Guerois [États-Unis] ; Anna Vangone [France] ; João P G L M. Rodrigues [France] ; Gydo Van Zundert [France] ; Mehdi Nellen [France] ; Li Xue [France] ; Ezgi Karaca [France] ; Adrien S J. Melquiond [France] ; Koen Visscher [France] ; Panagiotis L. Kastritis [France] ; Alexandre M J J. Bonvin [France] ; Xianjin Xu [Pays-Bas] ; Liming Qiu [Pays-Bas] ; Chengfei Yan [Pays-Bas] ; Jilong Li [États-Unis] ; Zhiwei Ma [Pays-Bas] ; Jianlin Cheng [États-Unis] ; Xiaoqin Zou [Pays-Bas] ; Yang Shen [États-Unis] ; Lenna X. Peterson [États-Unis] ; Hyung-Rae Kim [États-Unis] ; Amit Roy [États-Unis] ; Xusi Han [États-Unis] ; Juan Esquivel-Rodriguez [États-Unis] ; Daisuke Kihara [États-Unis] ; Xiaofeng Yu [États-Unis] ; Neil J. Bruce [États-Unis] ; Jonathan C. Fuller [États-Unis] ; Rebecca C. Wade [États-Unis] ; Ivan Anishchenko [Allemagne] ; Petras J. Kundrotas [Allemagne] ; Ilya A. Vakser [Allemagne] ; Kenichiro Imai [États-Unis] ; Kazunori Yamada [États-Unis] ; Toshiyuki Oda [États-Unis] ; Tsukasa Nakamura [Japon] ; Kentaro Tomii [États-Unis] ; Chiara Pallara [Japon] ; Miguel Romero-Durana [Japon] ; Brian Jiménez-García [Japon] ; Iain H. Moal [Espagne] ; Juan Férnandez-Recio [Espagne] ; Jong Young Joung [Corée du Sud] ; Jong Yun Kim [Corée du Sud] ; Keehyoung Joo [Corée du Sud] ; Jooyoung Lee [Corée du Sud] ; Dima Kozakov [États-Unis] ; Sandor Vajda [États-Unis] ; Scott Mottarella [États-Unis] ; David R. Hall [États-Unis] ; Dmitri Beglov [États-Unis] ; Artem Mamonov [États-Unis] ; Bing Xia [États-Unis] ; Tanggis Bohnuud [États-Unis] ; Carlos A. Del Carpio [États-Unis] ; Eichiro Ichiishi [Japon] ; Nicholas Marze [États-Unis] ; Daisuke Kuroda [États-Unis] ; Shourya S. Roy Burman [États-Unis] ; Jeffrey J. Gray [États-Unis] ; Edrisse Chermak [Arabie saoudite] ; Luigi Cavallo [Arabie saoudite] ; Romina Oliva [Italie] ; Andrey Tovchigrechko [États-Unis] ; Shoshana J. Wodak [Canada] | Prediction of homo- and hetero-protein complexes by protein docking and template-based modeling: a CASP-CAPRI experiment. |
000192 |
Thomas Creutzig [Canada] ; Yasuaki Hikida [Japon] ; Peter R Nne [France] | Correspondences between WZNW models and CFTs with W -algebra symmetry |
000369 |
Nobutaka Ono [Japon] ; Zafar Rafii [États-Unis] ; Daichi Kitamura [France] ; Nobutaka Ito [Japon] ; Antoine Liutkus [France] | The 2015 Signal Separation Evaluation Campaign |
000555 |
Nobutaka Ito [Japon] ; Emmanuel Vincent [France] ; Tomohiro Nakatani [Japon] ; Nobutaka Ono [Japon] ; Shoko Araki [Japon] ; Shigeki Sagayama [Japon] | Blind suppression of nonstationary diffuse noise based on spatial covariance matrix decomposition |
000561 |
Rémi Badonnel [France] ; Xiao Jin [États-Unis] ; Ata Shingo [Japon] ; Filip Turck [Belgique] ; Groza Voicu [Canada] ; Carlos Raniery Paula Dos Santos [Brésil] | Integrated Management in the Age of Big Data, Proceedings of the 14th IFIP/IEEE Symposium on Integrated Network and Service Management (IM 2015). |
000578 |
Dung T. Tran [France] ; Nobutaka Ono [Japon] ; Emmanuel Vincent [France] | Fast DNN training based on auxiliary function technique |
000E48 |
Makoto Hasegawa [Japon] ; Salvatore Tabbone [France] | Amplitude-only log Radon transform for geometric invariant shape descriptor |
000F69 |
Stanislaw Raczynski [France] ; Satoru Fukayama [Japon] ; Emmanuel Vincent [France] | Melody harmonisation with interpolated probabilistic models |
001014 |
Nobutaka Ito [Japon] ; Emmanuel Vincent [France] ; Nobutaka Ono [Japon] ; Shigeki Sagayama [Japon] | General algorithms for estimating spectrogram and transfer functions of target signal for blind suppression of diffuse noise |
001247 |
Stanislaw Raczynski [France] ; Emmanuel Vincent [France] ; Shigeki Sagayama [Japon] | Dynamic Bayesian networks for symbolic polyphonic pitch modeling |
001470 |
Takahito Aoto [Japon] ; Munehiro Iwami [Japon] | Termination of Rule-Based Calculi for Uniform Semi-Unification |
001471 |
Cynthia Kop [Autriche] ; Naoki Nishida [Japon] | Term Rewriting with Logical Constraints |
001476 |
Naosuke Nonoguchi [France, Japon] ; Takashi Ohta [France] ; Ji-Eun Oh [France] ; Young-Ho Kim [France, Corée du Sud] ; Paul Kleihues [Suisse] ; Hiroko Ohgaki [France] | TERT promoter mutations in primary and secondary glioblastomas |
001515 |
Hidenori Kurokawa [Japon] | Prefixed Tableau Systems for Logic of Proofs and Provability |
001521 |
Frank Nielsen [Japon] | Pattern Learning and Recognition on Statistical Manifolds: An Information-Geometric Review |
001532 |
Haruna Takeda [Singapour, Japon] ; Hideto Koso [Singapour, Japon] ; Lino Tessarollo [États-Unis] ; Neal G. Copeland [Singapour, États-Unis] ; Nancy A. Jenkins [Singapour, États-Unis] | Musashi1‐CreERT2: A new cre line for conditional mutagenesis in neural stem cells |
001548 |
Yoshinobu Kano [Japon] | Kachako: A Hybrid-Cloud Unstructured Information Platform for Full Automation of Service Composition, Scalable Deployment and Evaluation |
001573 |
Frank Nielsen [Japon] | Hypothesis Testing, Information Divergence and Computational Geometry |
001599 |
Takahito Aoto [Japon] | Disproving Confluence of Term Rewriting Systems by Interpretation and Ordering |
001C26 |
Diego Aranha [Brésil] ; Jean-Luc Beuchat [Japon] ; Jérémie Detrey [France] ; Nicolas Estibals [France] | Optimal Eta pairing on supersingular genus-2 binary hyperelliptic curves |
001C63 |
Santosh K. C. [France] ; E. Iwata [Japon] | Stroke-Based Cursive Character Recognition |
001D11 |
A. Casini [Italie] ; R. Vaccaro [Italie] ; L. D'Este [Italie] ; Y. Sakaue [Japon] ; J. P. Bellier [Japon] ; H. Kimura [Japon] ; T. G. Renda [Italie] | Immunolocalization of choline acetyltransferase of common type in the central brain mass of Octopus vulgaris |
001E16 |
Sarah Winkler [Autriche] ; Haruhiko Sato [Japon] ; Aart Middeldorp [Autriche] ; Masahito Kurihara [Japon] | Multi-Completion with Termination Tools |
002465 |
Jean-Luc Beuchat [Japon] ; Jérémie Detrey [France] ; Nicolas Estibals [France] ; Eiji Okamoto [Japon] ; Francisco Rodríguez-Henríquez [Mexique] | Fast architectures for the $\eta_T$ pairing over small-characteristic supersingular elliptic curves |
002616 |
Isao Yamaguchi [Japon] ; Tomonori Asano [Japon] | Uncatalyzed synthesis of polypyrrole with viologen side groups and its chemical properties |
002A84 |
Chun Geng [Japon] ; Hiromasa Suzuki [Japon] ; Dong-Ming Yan [France] ; Takashi Michikawa [Japon] ; Yuichi Sato [Japon] ; Masayoshi Hashima [Japon] ; Eiji Ohta [Japon] | A Thin-plate CAD Mesh Model Splitting Approach Based on Fitting Primitives |
002D28 |
Lazaros Mavridis [France] ; Vishwesh Venkatraman [France] ; David Ritchie [France] ; H. Morikawa [Japon] ; Rumen Andonov [France] ; Alexandre Cornu [France] ; Noël Malod-Dognin [France] ; Jacques Nicolas [France] ; M. Temerinac-Ott [Allemagne] ; M. Reisert [Allemagne] ; H. Burkhardt [Allemagne] ; A. Axenopoulos [Grèce] ; P. Daras [Grèce] | SHREC'10 Track: Protein Models |
002D64 |
Kiyoshi Honda [France] ; Tatsuya Kitamura [Japon] ; Hironori Takemoto [Japon] ; Seiji Adachi [Allemagne] ; Parham Mokhtari [Japon] ; Sayoko Takano [Japon] ; Yukiko Nota [Japon] ; Hiroyuki Hirata [Japon] ; Ichiro Fujimoto [Japon] ; Yasuhiro Shimada [Japon] ; Shinobu Masaki [Japon] ; Satoru Fujita [Japon] ; Jianwu Dang [Japon] | Visualization of hypopharyngeal cavities and vocal tract acoustic modeling |
002F16 |
Hiromasa Suzuki [Japon] ; Bruno Lévy [France] ; Dinesh Manocha [États-Unis] ; Hong Qin [États-Unis] | ACM Symposium on Solid and Physical Modeling and Applications 2008 |
002F75 |
Gauvain Bourgne [Japon] | Introduction |
003034 |
Pritam Mukhopadhyay [Inde, Japon] ; Norifumi Fujita [Japon] ; Akihiko Takada [Japon] ; Takanori Kishida [Japon] ; Michihiro Shirakawa [Japon] ; Seiji Shinkai [Japon] | Regulation of a Real‐Time Self‐Healing Process in Organogel Tissues by Molecular Adhesives |
003035 |
Pritam Mukhopadhyay [Inde, Japon] ; Norifumi Fujita [Japon] ; Akihiko Takada [Japon] ; Takanori Kishida [Japon] ; Michihiro Shirakawa [Japon] ; Seiji Shinkai [Japon] | Regulation of a Real‐Time Self‐Healing Process in Organogel Tissues by Molecular Adhesives |
003080 |
Thorsten Kleinjung [Suisse] ; Kazumaro Aoki [Japon] ; Jens Franke [Allemagne] ; Arjen K. Lenstra [Suisse] ; Emmanuel Thomé [France] ; Joppe W. Bos [Suisse] ; Pierrick Gaudry [France] ; Alexander Kruppa [France] ; Peter L. Montgomery [États-Unis, Pays-Bas] ; Dag Arne Osvik [Suisse] ; Herman Te Riele [Pays-Bas] ; Andrey Timofeev [Pays-Bas] ; Paul Zimmermann [France] | Factorization of a 768-Bit RSA Modulus |
003126 |
Thorsten Kleinjung [Suisse] ; Joppe W. Bos [Suisse] ; Arjen K. Lenstra [Suisse] ; Dag Arne Osvik [Suisse] ; Kazumaro Aoki [Japon] ; Scott Contini [Australie] ; Jens Franke [Allemagne] ; Emmanuel Thomé [France] ; Pascal Jermini [Suisse] ; Michela Thiémard [Suisse] ; Paul Leyland [Royaume-Uni] ; Peter L. Montgomery [États-Unis, Pays-Bas] ; Andrey Timofeev [Pays-Bas] ; Heinz Stockinger [Suisse] | A heterogeneous computing environment to solve the 768-bit RSA challenge |
003687 |
Véronique Cortier [France] ; Claude Kirchner [France] ; Mitsuhiro Okada [Japon] ; Hideki Sakurada [Japon] | Formal to practical Security |
003787 |
Bruno Lévy [France] ; Dinesh Manocha [États-Unis] ; Hong Qin [États-Unis] ; Hiromasa Suzuki [Japon] | ACM Symposium on Solid and Physical Modeling and Applications 2008 |
003868 |
Toshiyuki Maeda [Japon] ; Akinori Yonezawa [Japon] | Writing an OS Kernel in a Strictly and Statically Typed Language |
003869 |
Reynald Af Feldt [Japon] ; Hubert Comon-Lundh [Japon] | Verification of Security Protocols with a Bounded Number of Sessions Based on Resolution for Rigid Variables |
003874 |
Xavier Goaoc [France] ; Jan Kratochvíl [République tchèque] ; Yoshio Okamoto [Japon] ; Chan-Su Shin [Corée du Sud] ; Andreas Spillner [Royaume-Uni] ; Alexander Wolff [Pays-Bas] | Untangling a Planar Graph |
003878 |
Yuki Hara [Japon] ; Taiki Ishiwata [Japon] ; Junji Shikata [Japon] ; Tsutomu Matsumoto [Japon] | Unconditionally Secure Blind Authentication Codes: The Model, Constructions, and Links to Commitment |
003950 |
Jean-Luc Beuchat [Japon] ; Jérémie Detrey [France] ; Nicolas Estibals [France] ; Eiji Okamoto [Japon] ; Francisco Rodríguez-Henríquez [Mexique] | Hardware Accelerator for the Tate Pairing in Characteristic Three Based on Karatsuba-Ofman Multipliers |
003968 |
Ika Kartika [Japon] ; H. Matsumoto [Japon] ; A. Chiba [Japon] | Deformation and Microstructure Evolution in Co-Ni-Cr-Mo Superalloy during Hot Working |
003979 |
Yusuke Kawamoto [Japon] ; Hideki Sakurada [Japon] ; Masami Hagiya [Japon] | Computationally Sound Formalization of Rerandomizable RCCA Secure Encryption |
003980 |
Gergei Bana [Portugal] ; Koji Hasebe [Japon] ; Mitsuhiro Okada [Japon] | Computational Semantics for First-Order Logical Analysis of Cryptographic Protocols |
003A14 |
Frank Nielsen [France, Japon] | Abstracts of the LIX Fall Colloquium 2008: Emerging Trends in Visual Computing |
003A20 |
Naohi Eguchi [Japon] | A lexicographic path order with slow growing derivation bounds |
004007 |
Eduardo Martin Moraud [France] ; Joshua G. Hale [Japon] ; Gordon Cheng [Japon] | Constraint-based Ground contact handling in Humanoid Robotics Simulation |
004303 |
Kentaro Kikuchi [Japon] ; Stéphane Lengrand [France] | Strong Normalisation of Cut-Elimination That Simulates β -Reduction |
004351 |
Xavier Goaoc [France] ; Jan Kratochvíl [République tchèque] ; Yoshio Okamoto [Japon] ; Chan-Su Shin [Corée du Sud] ; Alexander Wolff [Pays-Bas] | Moving Vertices to Make Drawings Plane |
004352 |
Gaetan Bisson [France, Pays-Bas] ; Takakazu Satoh [Japon] | More Discriminants with the Brezing-Weng Method |
004409 |
Nao Hirokawa [Japon] ; Georg Moser [Autriche] | Complexity, Graphs, and the Dependency Pair Method |
004B82 |
Kentaro Kikuchi [Japon] | Simple Proofs of Characterizing Strong Normalization for Explicit Substitution Calculi |
004C94 |
Jittisak Senachak [Japon] ; Mun Elanji Vestergaard [Japon] ; René Vestergaard [Japon] | Cascaded Games |
005285 |
Tomohiro Shirosaki [Japon] ; Saleh Chowdhury [Japon] ; Makoto Takafuji [Japon] ; Dzhamil Alekperov [Russie] ; Galina Popova [Russie] ; Hiroshi Hachisako [Japon] ; Hirotaka Ihara [Japon] | Functional organogels from lipophilic L-glutamide derivative immobilized on cyclotriphosphazene core |
005350 |
Hiromasa Goto [Japon] ; Kazuo Akagi [Japon] | Vertically aligned polypyrrole drawing a fingerprint array prepared by electrochemical polymerization in chiral nematic electrolyte |
006275 |
Shigemasa Takai [Japon] ; Toshimitsu Ushio [Japon] ; Eric Fabre [France] ; Albert Benveniste [France] ; Stefan Haar [France] ; Claude Jard [France] ; Alessandro Giua [Italie] ; Daniele Corona [Italie] ; Carla Seatzu [Italie] | Contributing Authors |
006758 |
Tadashi Imanishi [France] ; Marie-Dominique Devignes [France] ; Sumio Sugano [Japon] | Integrative annotation of 21,037 human genes validated by full-length cDNA clones. |
006765 |
Karim Baïna [Maroc] ; François Charoy [France] ; Claude Godart [France] ; Daniela Grigori [France] ; Saad El Hadri [Maroc] ; Hala Skaf [France] ; S. Akifuji [Japon] ; Toshiaki Sakaguchi [Japon] ; Yoko Seki [Japon] ; Masaichiro Yoshioka [Japon] | CORVETTE: a cooperative workflow for virtual teams coordination |
006A45 |
Jürgen Giesl [Allemagne] ; Aart Middeldorp [Japon, Allemagne] | Transformation techniques for context-sensitive rewrite systems |
006B63 |
Mitsuhiro Kato [États-Unis, Japon] ; Soma Das [États-Unis] ; Kristin Petras [États-Unis] ; Kunio Kitamura [Japon] ; Ken-Ichirou Morohashi [Japon] ; Diane N. Abuelo [États-Unis] ; Mason Barr [États-Unis] ; Dominique Bonneau [France] ; Angela F. Brady [Royaume-Uni] ; Nancy J. Carpenter [États-Unis] ; Karen L. Cipero [États-Unis] ; Francesco Frisone [Italie] ; Takayuki Fukuda [Japon] ; Renzo Guerrini [Italie] ; Eri Iida [Japon] ; Masayuki Itoh [Japon] ; Amy Feldman Lewanda [États-Unis] ; Yukiko Nanba [Japon] ; Akira Oka [Japon] ; Virginia K. Proud [États-Unis] ; Pascale Saugier-Veber [France] ; Susan L. Schelley [États-Unis] ; Angelo Selicorni [Italie] ; Rachel Shaner [États-Unis] ; Margherita Silengo [Italie] ; Fiona Stewart [Royaume-Uni] ; Noriyuki Sugiyama [Japon] ; Jun Toyama [Japon] ; Annick Toutain [France] ; Ana Lía Vargas [Argentine] ; Masako Yanazawa [Japon] ; Elaine H. Zackai [États-Unis] ; William B. Dobyns [États-Unis] | Mutations of ARX are associated with striking pleiotropy and consistent genotype–phenotype correlation |
007051 |
Koichi Takeuchi [Japon] ; Kyo Kageura [Japon] ; Teruo Koyama [Japon] ; Béatrice Daille [France] ; Laurent Romary [France] | Construction of Grammar Based Term Extraction Model for Japanese |
007A59 |
Tsuyoshi Ebina [Japon] ; Fumiko Matsumoto [Japon] ; Hiroyuki Ohno [Japon] | Fax Registration of Information about Disaster Victims |
007A69 |
Yoshihiro Yasumuro [Japon] ; Mikako Murakami [Japon] ; Masataka Imura [Japon] ; Tomohiro Kuroda [Japon] ; Yoshitsugu Manabe [Japon] ; Kunihiro Chihara [Japon] | E-cane with Situation Presumption for the Visually Impaired |
007B17 |
Norman Alm [Royaume-Uni] ; Mamoru Iwabuchi [Royaume-Uni] ; Peter N. Andreasen [Royaume-Uni] ; Kenryu Nakamura [Japon] | A Multi-lingual Augmentative Communication System |
007D64 |
B. W. Jervis [Japon] ; J. Desfieux ; J. Jimenez ; Dominique Martinez [France] | Quantification of gas concentrations in mixtures of known gases using an array of different tin-oxide sensors |
007D75 |
Koichi Takeuchi [Japon] ; Kyo Kageura [Japon] ; Teruo Koyama [Japon] ; Béatrice Daille [France] ; Laurent Romary [France] | Pattern Based Term Extraction Using ACABIT System |
008778 |
Marc Wirtz [États-Unis] ; Matthew Parker [États-Unis] ; Yoshio Kobayashi [États-Unis, Japon] ; Charles R. Martin [États-Unis] | Molecular Sieving and Sensing with Gold Nanotube Membranes |
008816 |
Hajimu Iida [Japon] ; Yasushi Tanaka [Japon] ; Ken'Ichi Matsumoto [Japon] | Daibutsu-den: A Component-Based Framework for Organizational Process Asset Utilization |
009F93 |
T. Arai [Japon] ; G. Mints [États-Unis] | Extended normal form theorems for logical proofs from axioms |
00A909 |
Jürgen Giesl [Allemagne] ; Aart Middeldorp [Japon] | Transforming Context-Sensitive Rewrite Systems |
00AA00 |
Masahiko Sato [Japon] ; Takafumi Sakurai [Japon] ; Rod Burstall [Royaume-Uni] | Explicit Environments |
00AA18 |
Takashi Nagaya [Japon] ; Yoshihito Toyama [Japon] | Decidability for Left-Linear Growing Term Rewriting Systems |
00AA30 |
Masahito Kurihara [Japon] ; Hisashi Kondo [Japon] | Completion for Multiple Reduction Orderings |
00AA69 |
Stéphane Gobron [Japon] ; Norishige Chiba | 3D surface cellular automata and their applications |
00BB19 |
Manuel M. T. Chakravarty [Japon] ; Hendrik C. R. Lock [Allemagne] | Towards the uniform implementation of declarative languages |
00BB57 |
Jean-Pierre Jouannaud [France] ; Mitsuhiro Okada [Japon] | Abstract data type systems |
00C124 |
J.-P. Briot [France, Japon] ; R. Guerraoui [Suisse] | Objets pour la programmation parallèle et répartie : intérêts, évolutions et tendances |
00C776 |
Masahito Kurihara [Japon] ; Hisashi Kondo [Japon] ; Azuma Ohuchi [Japon] | Completion for multiple reduction orderings |
00CC94 |
Patrick Viry [Japon] | Rewriting: An effective model of concurrency |
00D646 |
Ataru T. Nakagawa [Japon] | Process versus product, abstraction, and formalism: A personal perspective (position paper) |
00DA39 |
Masami Hagiya [Japon] | Synthesis of rewrite programs by higher-order and semantic unification |
00DE19 |
Jiro Mizuya [Japon] ; Tsutomu Yokozawa [Japon] ; Takeshi Endo [Japon] | Spontaneous copolymerization behavior of substituted phenylallenes with allenecarbonitrile |
00DE57 |
Taisuke Sato [Japon] | An equivalence preserving first order unfold/fold transformation system |
00E854 |
Hidehiko Kita [Japon] ; Toshiki Sakabe [Japon] ; Yasuyoshi Inagaki [Japon] | Algebraic specification method of programming languages |